Results for 'Howard W. Ivey'

1000+ found
Order:
  1. Phenomenology: a bibliography of English language writings.Howard W. Ivey - 1975 - Monticello, Ill.: Council of Planning Librarians. Edited by D. Lawrence Wieder.
     
    Export citation  
     
    Bookmark  
  2. The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
     
    Export citation  
     
    Bookmark   69 citations  
  3.  2
    Commentary on Rosenzweig.Howard W. Bremer - 1985 - Science, Technology and Human Values 10 (2):49-53.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  46
    Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.
  5.  25
    Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
  6.  51
    Tennyson's in Memoriam and the Scientific Imagination.Howard W. Fulweiler - 1984 - Thought: Fordham University Quarterly 59 (3):296-318.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Depression and Hope: New Insights for Pastoral Counseling.Howard W. Stone - 1998
    No categories
     
    Export citation  
     
    Bookmark  
  8.  33
    A system of abstract constructive ordinals.W. A. Howard - 1972 - Journal of Symbolic Logic 37 (2):355-374.
  9.  54
    Must public hands be dirty?W. Kenneth Howard - 1977 - Journal of Value Inquiry 11 (1):29-40.
  10.  6
    Defeating depression: real help for you and those who love you.Howard W. Stone - 2007 - HTS Theological Studies 64 (1):674-674.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Book Review: Consumer-Driven Health Care: Implications for Providers, Payers, and Policymakers.Howard W. Houser - 2005 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 42 (2):194-197.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  40
    Causation, will, and creativity.Howard W. Hintz - 1958 - Journal of Philosophy 55 (June):514-519.
  13.  6
    John Pickett Turner 1876-1960.Howard W. Hintz - 1960 - Proceedings and Addresses of the American Philosophical Association 34:99 - 100.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  49
    Ordinal analysis of simple cases of bar recursion.W. A. Howard - 1981 - Journal of Symbolic Logic 46 (1):17-30.
  15.  5
    The Other Missing Link.Howard W. Fulweiler - 1993 - Renascence 46 (1):39-54.
  16.  5
    Tennyson's "The Holy Grail".Howard W. Fulweiler - 1986 - Renascence 38 (3):144-159.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  39
    Ordinal analysis of terms of finite type.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (3):493-504.
  18.  4
    Arkansas professional and judicial ethics.Howard W. Brill - 1991 - Fayetteville, Ark.: M & M Press.
    Preface to the Seventh Edition Since the first edition of this work in 1986, enormous changes have occurred in professional ethics in Arkansas: the ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  26
    A. N. Whitehead and the Philosophical Synthesis.Howard W. Hintz - 1955 - Journal of Philosophy 52 (9):225-243.
  20.  10
    Tennyson's "The Holy Grail".Howard W. Fulweiler - 1986 - Renascence 38 (3):144-159.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Reflections on the Usefulness of Embryo Cloning.Howard W. Jones - 1994 - Kennedy Institute of Ethics Journal 4 (3):205-207.
    Questions are raised about the potential of embryo cloning, or blastomere separation, both to increase the rate of pregnancy following in vitro fertilization and to provide sufficient material for preimplantation genetic diagnosis. Nevertheless, it is concluded that research on blastomere separation in the human should continue.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  16
    High-speed Digital Design: A Handbook of Black Magic.Howard W. Johnson & Martin Graham - 1993 - Pearson Education India.
    Focused on the field of knowledge lying between digital and analog circuit theory, this new text will help engineers working with digital systems shorten their product development cycles and help fix their latest design problems. The scope of the material covered includes signal reflection, crosstalk, and noise problems which occur in high speed digital machines (above 10 megahertz). This volume will be of practical use to digital logic designers, staff and senior communications scientists, and all those interested in digital design.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. The Fourth Gospel in Recent Criticism and Interpretation.W. F. Howard & C. K. Barrett - 1955
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  24.  9
    Handbook of Mathematical Logic.W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  22
    Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  46
    Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  27.  16
    Kurt Schütte. Proof theory. Revised English translation by J. N. Crossley of XXV 243. Grundlehren der mathematischen Wissenschaften, no. 225. Springer-Verlag, Berlin, Heidelberg, and New York, 1977, xii + 299 pp. [REVIEW]W. A. Howard - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  28. Review: A. G. Hamilton, Logic for Mathematicians. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
  29. Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  30.  11
    Review: Kurt Schutte, J. N. Crossley, Proof Theory. [REVIEW]W. A. Howard - 1982 - Journal of Symbolic Logic 47 (1):218-220.
  31.  24
    Moschovakis J. R.. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
  32.  26
    Review: Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and Types. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.
  33.  7
    Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
  34.  26
    Saint John of the Cross and Islam.Miguel Asin Palacios, Howard W. Yoder & Elmer H. Douglas - 1984 - Philosophy East and West 34 (2):232-233.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  19
    A. G. Hamilton. Logic for mathematicians. Cambridge University Press, Cambridge etc. 1978, viii + 224 pp. [REVIEW]W. A. Howard - 1980 - Journal of Symbolic Logic 45 (2):379-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Michael W. Howard -- utopianism and nuclear deterrence.Michael W. Howard - 1984 - Philosophy and Social Criticism 10 (3-4):53-65.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Reviews : Mickael W. Howard -- from commodity fetishism to market socialism: critical notes on stanley moore.Michael W. Howard - 1980 - Philosophy and Social Criticism 7 (2):184-214.
  38.  4
    Preventing Violence in Schools: A Challenge to American Democracy.Joan N. Burstyn, Geoff Bender, Ronnie Casella, Howard W. Gordon & Domingo P. Guerra - 2001 - Routledge.
    School violence is a burning issue these days. This book provides an in-depth analysis of violence prevention programs and an assessment of their effectiveness, using data from observations, individual interviews, and focus groups, as well as published data from the schools. It is distinguished by its focus on the cultural and structural context of school violence and violence prevention efforts. Where most other researchers use quantitative measures, such as surveys, to assess the effectiveness of violence prevention programs, the authors of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. The Scarlet Empire.David M. Parry, Jerome M. Clubb & Howard W. Allen - 2002 - Utopian Studies 13 (2):187-190.
  40. Dangerous Speech.Jeffrey W. Howard - 2019 - Philosophy and Public Affairs 47 (2):208-254.
    Philosophy &Public Affairs, Volume 47, Issue 2, Page 208-254, Spring 2019.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  41.  45
    Event-related potential indicators of the dynamic unconscious.Howard Shevrin, W. J. Williams, R. E. Marshall & Linda A. Brakel - 1992 - Consciousness and Cognition 1 (3):340-66.
    The present study applies a new method for investigating dynamic unconscious processes. The method consists of selection of words from patient interview and test protocols that in the clinicians' judgments capture the patients' conscious symptom experience and the hypothetical unconscious conflict related to the symptom, subliminal and supraliminal presentation of these words, signal analysis of event-related potentials obtained to the word presentations. Eight phobics and three patients suffering from pathological grief reactions served as subjects. A time-frequency ERP analysis revealed that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  42.  18
    Cognition and behavior in studies of choice.Howard Rachlin, A. W. Logue, John Gibbon & Marvin Frankel - 1986 - Psychological Review 93 (1):33-45.
  43.  28
    Criminal Wrongdoing, Restorative Justice, and the Moral Standing of Unjust States.Jeffrey W. Howard & Avia Pasternak - 2021 - Journal of Political Philosophy 31 (1):42-59.
    Journal of Political Philosophy, EarlyView.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  21
    The labors of justice: democracy, respect, and judicial review.Jeffrey W. Howard - 2019 - Critical Review of International Social and Political Philosophy 22 (2):176-199.
  45.  14
    Psychological literature: Experimental.W. L. Bryan & Howard C. Warren - 1894 - Psychological Review 1 (1):101-107.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  15
    Surrogate Perspectives on Patient Preference Predictors: Good Idea, but I Should Decide How They Are Used.Dana Howard, Allan Rivlin, Philip Candilis, Neal W. Dickert, Claire Drolen, Benjamin Krohmal, Mark Pavlick & David Wendler - 2022 - AJOB Empirical Bioethics 13 (2):125-135.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  63
    Moral Subversion and Structural Entrapment.Jeffrey W. Howard - 2016 - Journal of Political Philosophy 24 (1):24-46.
  48.  56
    Punishment as Moral Fortification.Jeffrey W. Howard - 2017 - Law and Philosophy 36 (1):45-75.
    The proposal that the criminal justice system should focus on rehabilitation – rather than retribution, deterrence, or expressive denunciation – is among the least popular ideas in legal philosophy. Foremost among rehabilitation’s alleged weaknesses is that it views criminals as blameless patients to be treated, rather than culpable moral agents to be held accountable. This article offers a new interpretation of the rehabilitative approach that is immune to this objection and that furnishes the moral foundation that this approach has lacked. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  42
    Criminal Wrongdoing, Restorative Justice, and the Moral Standing of Unjust States.Jeffrey W. Howard & Avia Pasternak - 2021 - Journal of Political Philosophy 31 (1):42-59.
    Journal of Political Philosophy, EarlyView.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  16
    Magic in the machine: a computational magician's assistant.Howard Williams & Peter W. McOwan - 2014 - Frontiers in Psychology 5.
1 — 50 / 1000